5.1.4(b) Cartesian product